#include <stdio.h>

int main(void)
{
    // 从键盘读取总秒数
    int total_seconds;
    if (scanf("%d", &total_seconds) != 1) {
        return 0;
    }

    // 转换为时、分、秒
    int hours = total_seconds / 3600;
    int minutes = (total_seconds % 3600) / 60;
    int seconds = total_seconds % 60;

    // 以英文冒号分隔，分钟和秒补足两位，最后换行
    printf("%d:%02d:%02d\n", hours, minutes, seconds);
    return 0;
}